-attr([x/2, y/0]).